A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT

Mechanisms of state policy to create a brand territory of the Far East

The article is devoted to the state instruments of forming the brand of the territory “Far East”. Federal and regional governments use various levers to construction an attractive image of the region for both internal and external consumers. The article considers these “tools” of marketing places and actualizes attention to solving the problem of creating a multifaceted brand of the Far East. We suggest solutions to this problem.Статья посвящена государственным инструментам формирования бренда территории «Дальний Восток». Федеральные и региональные власти используют различные рычаги по конструированию привлекательного образа региона как для внутреннего, так и для внешнего потребителя. Статья рассматривает данные рычаги маркетинга мест и актуализирует внимание на решении проблемы создания многоаспектного бренда Дальнего Востока. Предлагаются варианты решения данной проблемы